<html>
  <body>
    <p>
      Blah blah blah.
      <a href="http://docs.github.com/en/get-started/">This is a redirect.</a>.
    </p>

    <p>
      Blah blah blah.
      <a href="http://gjtorikian.github.io/mathematical/"
        >This is a third redirect.</a
      >.
    </p>

    <p><a href="https://github.com/github/repository-sync">and a fourth!</a></p>
  </body>
</html>
